Sfoglia per Rivista IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
Fluid Rewards for a Stochastic Process Algebra
2012-01-01 Tribastone, M; Ding, J; Gilmore, S; Hillston, J
Klaim: a Kernel Language for Agents Interaction and Mobility
1998-01-01 DE NICOLA, R; G. L., Ferrari; R., Pugliese
Scalable Differential Analysis of Process Algebra Models
2012-01-01 Tribastone, M; Gilmore, S; Hillston, J
A Two-Component Language for Adaptation: Design, Semantics, and Program Analysis
2016-01-01 Degano, P.; Ferrari, G. L.; Galletta, L.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Fluid Rewards for a Stochastic Process Algebra | 1-gen-2012 | Tribastone, M; Ding, J; Gilmore, S; Hillston, J | |
Klaim: a Kernel Language for Agents Interaction and Mobility | 1-gen-1998 | DE NICOLA, R; G. L., Ferrari; R., Pugliese | |
Scalable Differential Analysis of Process Algebra Models | 1-gen-2012 | Tribastone, M; Gilmore, S; Hillston, J | |
A Two-Component Language for Adaptation: Design, Semantics, and Program Analysis | 1-gen-2016 | Degano, P.; Ferrari, G. L.; Galletta, L. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile